T. Hulgaard: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Family-based interventions for children and adolescents with functional somatic symptoms: a systematic review

Hulgaard, Ditte, Dehlholm-Lambertsen, Gitte, Rask, Charlotte Ulrikka

Journal:

Journal of Family Therapy

Year:

2017

Language:

english

File:

PDF, 539 KB

english, 2017

2

Homogeneous nitrous oxide formation and destruction under combustion conditions

Tore Hulgaard, Kim Dam-Johansen

Journal:

Year:

1993

Language:

english

File:

PDF, 1.23 MB

english, 1993

3

Estimation of marginal costs at existing waste treatment facilities

Martinez-Sanchez, Veronica, Hulgaard, Tore, Hindsgaul, Claus, Riber, Christian, Kamuk, Bettina, Astrup, Thomas F.

Journal:

Waste Management

Year:

2016

Language:

english

File:

PDF, 745 KB

english, 2016

4

Nitrous oxide sampling, analysis, and emission measurements from various combustion systems

Tore Hulgaard, Kim Dam-Johansen

Journal:

Environmental Progress & Sustainable Energy

Year:

1992

Language:

english

File:

PDF, 851 KB

english, 1992

5

Catalytic reduction of NO and N2O on limestone during sulfur capture under fluidized bed combustion conditions

P.F.B. Hansen, K. Dam-Johansen, J.E. Johnsson, T. Hulgaard

Journal:

Chemical Engineering Science

Year:

1992

Language:

english

File:

PDF, 691 KB

english, 1992

6

Testing asynchronous circuits: A survey

Henrik Hulgaard, Steven M. Burns, Gaetano Borriello

Journal:

Integration, the VLSI Journal

Year:

1995

Language:

english

File:

PDF, 1.38 MB

english, 1995

7

Nonstochastic analysis of manufacturing system using timed-event graphs

Tod Amon, Henrik Hulgaard

Journal:

Journal of Manufacturing Systems

Year:

1996

Language:

english

File:

PDF, 831 KB

english, 1996

8

Life-cycle-assessment of the historical development of air pollution control and energy recovery in waste incineration

Anders Damgaard, Christian Riber, Thilde Fruergaard, Tore Hulgaard, Thomas H. Christensen

Journal:

Waste Management

Year:

2010

Language:

english

File:

PDF, 461 KB

english, 2010

9

Pilot-scale experiments with ammonia and urea as reductants in selective non-catalytic reduction of nitric oxide

Morten Jødal, Carsten Nielsen, Tore Hulgaard, Kim Dam-Johansen

Journal:

Symposium (International) on Combustion:

Year:

1991

Language:

english

File:

PDF, 465 KB

english, 1991

10

Fully Symbolic Model Checking of Timed Systems using Difference Decision Diagrams

Jesper Møller, Jakob Lichtenberg, Henrik R. Andersen, Henrik Hulgaard

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 1.30 MB

english, 2001

11

Detection of circulating tumor lysate–reactive CD4+T cells in melanoma patients

Morten Ladekarl, Ralf Agger, CharlotteC. Fleischer, Marianne Hokland, EgilF. Hulgaard, Alexei Kirkin, Hans Maase, MikkelS. Petersen, Carsten Rytter, Jesper Zeuthen, HansJørgenG. Gundersen

Journal:

Cancer Immunology, Immunotherapy

Year:

2004

Language:

english

File:

PDF, 215 KB

english, 2004

12

Satisfiability checking using Boolean Expression Diagrams

Poul F. Williams, Henrik R. Andersen, Henrik Hulgaard

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2003

Language:

english

File:

PDF, 367 KB

english, 2003

13

Bounded Delay Timing Analysis of a Class of CSP Programs

Henrik Hulgaard, Steven M. Burns

Journal:

Formal Methods in System Design

Year:

1997

Language:

english

File:

PDF, 665 KB

english, 1997

14

Verification of Large State/Event Systems Using Compositionality and Dependency Analysis

Jørn Lind-Nielsen, Henrik Reif Andersen, Henrik Hulgaard, Gerd Behrmann, Kåre Kristoffersen, Kim G. Larsen

Journal:

Formal Methods in System Design

Year:

2001

Language:

english

File:

PDF, 173 KB

english, 2001

15

Verification of Hierarchical State/Event Systems using Reusability and Compositionality

G. Behrmann, K.G. Larsen, H.R. Andersen, H. Hulgaard, J. Lind-Nielsen

Journal:

Formal Methods in System Design

Year:

2002

Language:

english

File:

PDF, 158 KB

english, 2002

16

Boolean Expression Diagrams

Henrik Reif Andersen, Henrik Hulgaard

Journal:

Information and Computation

Year:

2002

Language:

english

File:

PDF, 191 KB

english, 2002

17

Symbolic model checking of timed guarded commands using difference decision diagrams

Jesper Møller, Henrik Hulgaard, Henrik Reif Andersen

Journal:

The Journal of Logic and Algebraic Programming

Year:

2002

Language:

english

File:

PDF, 228 KB

english, 2002

18

Practical verification of embedded software

Straunstrup, J., Andersen, H.R., Hulgaard, H., Lind-Nielsen, J., Behrmann, G., Kristoffersen, K., Skou, A., Leerberg, HH., Theilgaard, N.B.

Journal:

Year:

2000

Language:

english

File:

PDF, 444 KB

english, 2000

19

Characterization of two splice variants of metastasis-associated human mts1 gene

Noona Ambartsumian, Svetlana Tarabykina, Mariam Grigorian, Eugene Tulchinsky, Egil Hulgaard, Georgii Georgiev, Eugene Lukanidin

Journal:

Year:

1995

Language:

english

File:

PDF, 833 KB

english, 1995

20

The differentiation antigen Ly-6E.1 is expressed in mouse metastatic tumor cell lines

Martin A Cohn, Dmitri Kramerov, Egil F Hulgaard, Eugene M Lukanidin

Journal:

Year:

1997

Language:

english

File:

PDF, 568 KB

english, 1997

21

Competition ELISA using a human monoclonal antibody for detection of antibodies against human immunodeficiency virus type 1

T.Henrik Bugge, L.Lyng Hansen, B.Ørskov Lindhardt, B. Kvinesdal, P. Kusk, K. Holmbäck, E. Hulgaard, R. Ulrich

Journal:

Journal of Virological Methods

Year:

1991

Language:

english

File:

PDF, 512 KB

english, 1991

22

An algorithm for exact bounds on the time separation of events in concurrent systems

Hulgaard, H., Burns, S.M., Amon, T., Borriello, G.

Journal:

IEEE Transactions on Computers

Year:

1995

Language:

english

File:

PDF, 1.23 MB

english, 1995

23

Equivalence checking of combinational circuits using Boolean expression diagrams

Hulgaard, H., Williams, P.F., Andersen, H.R.

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

1999

Language:

english

File:

PDF, 419 KB

english, 1999

24

Symbolic timing analysis of asynchronous systems

Hulgaard, H., Amon, T.

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2000

Language:

english

File:

PDF, 297 KB

english, 2000

25

[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - Boolean expression diagrams

Andersen, H.R., Hulgaard, H.

Year:

1997

Language:

english

File:

PDF, 992 KB

english, 1997

26

[IEEE Comput. Soc. Press 1993 International Conference on Computer Aided Design (ICCAD) - Santa Clara, CA, USA (7-11 Nov. 1993)] Proceedings of 1993 International Conference on Computer Aided Design (ICCAD) - Practical applications of an efficient time separation of events algorithm

Hulgaard, H., Burns, S.M., Amon, T., Borriello, G.

Year:

1993

Language:

english

File:

PDF, 547 KB

english, 1993

27

[IEEE Comput. Soc. Press 1994 IEEE Symposium on Advanced Research in Asynchronous Circuits and Systems - Salt Lake City, UT, USA (3-5 Nov. 1994)] Proceedings of 1994 IEEE Symposium on Advanced Research in Asynchronous Circuits and Systems - Bounded delay timing analysis of a class of CSP programs with choice

Hulgaard, H., Burns, S.M.

Year:

1994

Language:

english

File:

PDF, 952 KB

english, 1994

28

[IEEE Comput. Soc Proceedings. Fifth International Symposium on Advanced Research in Asynchronous Circuits and Systems - Barcelona, Spain (19-21 April 1999)] Proceedings. Fifth International Symposium on Advanced Research in Asynchronous Circuits and Systems - Symbolic time separation of events

Amon, T., Hulgaard, H.

Year:

1999

Language:

english

File:

PDF, 259 KB

english, 1999

29

[IEEE Comput. Soc. Press 1993 IEEE International Conference on Computer Design ICCD'93 - Cambridge, MA, USA (3-6 Oct. 1993)] Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93 - An algorithm for exact bounds on the time separation of events in concurrent systems

Amon, T., Hulgaard, H., Burns, S.M., Borriello, G.

Year:

1993

Language:

english

File:

PDF, 657 KB

english, 1993

30

Mapping of Linear B-Cell Epitopes on the Major Core Protein p24 of Human Immunodeficiency Virus Type 1 (HIV-1)

KUSK, P., BUGGE, T.H., LINDHARDT, B.Ø., HULGAARD, E.F., HOLMBÄCK, K.

Journal:

AIDS Research and Human Retroviruses

Year:

1992

Language:

english

File:

PDF, 794 KB

english, 1992

31

[IEEE ICECS'99. 6th IEEE International Conference on Electronics, Circuits and Systems - Pafos, Cyprus (5-8 Sept. 1999)] ICECS'99. Proceedings of ICECS '99. 6th IEEE International Conference on Electronics, Circuits and Systems (Cat. No.99EX357) - Equivalence checking of hierarchical combinational circuits

Williams, P.F., Hulgaard, H., Andersen, H.

Year:

1999

Language:

english

File:

PDF, 435 KB

english, 1999

32

[IEEE 1994 33rd IEEE Conference on Decision and Control - Lake Buena Vista, FL, USA (14-16 Dec. 1994)] Proceedings of 1994 33rd IEEE Conference on Decision and Control - Timing analysis of timed event graphs with bounded delays using algebraic techniques

Hulgaard, H., Amon, T., Burns, S.M., Borriello, G.

Year:

1994

Language:

english

File:

PDF, 200 KB

english, 1994

33

Size fractionation of waste-to-energy boiler ash enables separation of a coarse fraction with low dioxin concentrations

Weidemann, E., Allegrini, E., Fruergaard Astrup, T., Hulgaard, T., Riber, C., Jansson, S.

Journal:

Waste Management

Year:

2016

Language:

english

File:

PDF, 795 KB

english, 2016

34

Homing of Tumor-Specific T Cells in the B16-OVA/OT-I Model System - towards T Cells as Carriers of Cytotoxic Substances in Therapy of Cancer

Petersen, Mikkel S, Fleischer, Charlotte C, Hansen, Søren B, Stødkilde-Jørgensen, Hans, Skands, Ulrik, Andersen, Tom E, Hulgaard, Egil F, Jørgensen, Jan T, Marqversen, Jøgen, Gundersen, Hans J, Hoklan

Journal:

Journal of Immunotherapy

Year:

2004

Language:

english

File:

PDF, 270 KB

english, 2004

35

T Cell Homing to Tumors Detected by 3D-coordinated Positron Emission Tomography and Magnetic Resonance Imaging

Agger, Ralf, Petersen, Mikkel S., Petersen, Charlotte C., Hansen, S??ren B., St??dkilde-J??rgensen, Hans, Skands, Ulrik, Blankenstein, Thomas, Andersen, Tom E., Hulgaard, Egil F., J??rgensen, Jan T.,

Journal:

Journal of Immunotherapy

Year:

2007

Language:

english

File:

PDF, 1.36 MB

english, 2007

36

Mapping of two new human B-cell epitopes on HIV-1 gp120

Kusk, Philip, Holmbäck, Kenn, Lindhardt, Bjarneø, Hulgaard, Egil F., Bugge, Thomas H.

Journal:

Year:

1992

File:

PDF, 528 KB

1992

37

Integrating waste-to-energy in Copenhagen, Denmark

Hulgaard, Tore, Søndergaard, Inger

Journal:

Proceedings of the ICE - Civil Engineering

Year:

2018

Language:

english

File:

PDF, 1.03 MB

english, 2018

38

Linear Eruptions on the Calf in a Six-week-old Boy: A Quiz

Bygum, A, Hulgaard, M

Journal:

Acta Dermato Venereologica

Year:

2014

File:

PDF, 384 KB

2014

39

Linear Eruptions on the Calf in a Six-week-old Boy: A Quiz

Bygum, A, Hulgaard, M

Journal:

Acta Dermato Venereologica

Year:

2014

Language:

english

File:

PDF, 384 KB

english, 2014

40

Illness perceptions of youths with functional disorders and their parents: An interpretative phenomenological analysis study

Hulgaard, Ditte Roth, Rask, Charlotte Ulrikka, Risor, Mette Bech, Dehlholm, Gitte

Journal:

Clinical Child Psychology and Psychiatry

Year:

2019

Language:

english

File:

PDF, 348 KB

english, 2019

41

Illness perceptions of youths with functional disorders and their parents: An interpretative phenomenological analysis study

Hulgaard, Ditte Roth, Rask, Charlotte Ulrikka, Risor, Mette Bech, Dehlholm, Gitte

Journal:

Clinical Child Psychology and Psychiatry

Year:

2019

File:

PDF, 348 KB

2019

42

‘I can hardly breathe’: Exploring the parental experience of having a child with a functional disorder

Hulgaard, Ditte Roth, Rask, Charlotte Ulrikka, Risør, Mette Bech, Dehlholm, Gitte

Journal:

Journal of Child Health Care

Year:

2019

Language:

english

File:

PDF, 231 KB

english, 2019

43

Action research and participatory democracy in social enterprise

Gleerup, Janne, Hulgaard, Lars, Teasdale, Simon

Journal:

Social Enterprise Journal

Year:

2019

File:

PDF, 161 KB

2019